Software language - PDFSEARCH.IO - Document Search Engine

Software language
Results: 21611

#	Item
831	Microsoft Word - KodableHOC_4.docx Add to Reading List Source URL: resources.kodable.com Language: English - Date: 2015-10-15 00:46:09 Computer programming Software engineering Computer programmers Holism Source code Control flow Code.org Programming language Programmer Infinite loop Computer Subroutine
832	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
833	CASE STUDY: PLUS RETAIL AXI ITS, a ForgeRock partner, Implements a Federated SSO Architecture for PLUS Retail About PLUS Retail PLUS Retail is a subsidiary of Sparrowhawk Group, an organization run by and for independen Add to Reading List Source URL: www.forgerock.com Language: English - Date: 2015-06-10 15:46:52 Computing Computer access control Software Identity management Federated identity Java enterprise platform Java platform OpenAM ForgeRock OpenDJ Single sign-on Security Assertion Markup Language
834	COMP 520 FallThe JOOS language (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-09-24 10:40:34 Software engineering Computer programming Computing Object-oriented programming languages Concurrent programming languages Java Cross-platform software Objective-C Method
835	Euclase: A Live Development Environment with Constraints and FSMs Stephen Oney, Brad A. Myers Joel Brandt Add to Reading List Source URL: liveprogramming.github.io Language: English - Date: 2013-05-19 19:35:21 Software engineering Computing Computer programming Programming paradigms Technical communication Constraint programming Declarative programming Eval Programming language Design Usability APL
836	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language
837	Learning Ezhil Language via Web Page 1 of 5 Learning Ezhil Language via Web A. Muthiah1 (Ph.D), M. Annamalai 2 (M.Sc) Add to Reading List Source URL: ezhillang.org Language: English - Date: 2014-12-10 23:34:49 Software engineering Computing Software Cross-platform software Ezhil Eval Python Educational technology
838	COMP 520 FallThe language Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-09-24 10:40:20 Java platform Java Computing platforms Cross-platform software Concurrent programming languages Java bytecode This Constructor
839	Let your Mach-O fly Vincenzo Iozzo January 15, 2009 Abstract Mac OS X is starting to spread among users, so new exploitation Add to Reading List Source URL: www.trailofbits.com Language: English - Date: 2016-04-15 11:36:17 Computing Software Computer programming Compilers Programming language implementation Memory management Computer memory Shellcode Mach-O Dynamic linker Address space layout randomization Portable Executable
840	On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound Add to Reading List Source URL: janvitek.org Language: English - Date: 2015-12-20 10:11:42 Computer science Computing Software engineering Association for Computing Machinery Programming Language Design and Implementation International Conference on Functional Programming Symposium on Principles of Programming Languages SIGPLAN Federated Computing Research Conference Programming language theory SPLASH Actor model

UPDATE